Software Architecture
This book constitutes the refereed proceedings of the tracks and workshops which complemented the 14th European Conference ...
Weiterlesen
Software Engineering and Formal Methods
This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, ...
Weiterlesen
Stabilization, Safety, and Security of Distributed Systems
This book constitutes the refereed proceedings of the 22nd International Symposium on Stabilization, Safety, and Security ...
Weiterlesen
Structural Information and Communication Complexity
This book constitutes the refereed conference proceedings of the 27th International Colloquium on Structural Information ...
Weiterlesen
Structural Information and Communication Complexity : 28th International Colloquium, SIROCCO 2021, Wrocław, Poland, June 28 – July 1, 2021, Proceedings
This book constitutes the refereed conference proceedings of the 28th International Colloquium on Structural Information ...
Weiterlesen
Supercomputing
This book constitutes the refereed post-conference proceedings of the 6th Russian Supercomputing Days, RuSCDays 2020, held ...
Weiterlesen
Supercomputing Frontiers 6th Asian Conference, SCFA 2020, Singapore, February 24–27, 2020, Proceedings
This book constitutes the refereed proceedings of the 6th Asian Supercomputing Conference, SCFA 2020, which was planned ...
Weiterlesen
Supercomputing Frontiers
This book cover a range of topics including memory fault handling, linear algebra, image processing, heterogeneous computing, ...
Weiterlesen
The Multi-Agent Programming Contest 2019 : Agents Assemble – Block by Block to Victory
This book constitutes the 14th edition of the annual Multi-Agent Programming Contest, MAPC 2019, and presents its participants. The ...
Weiterlesen
Theory and Applications of Models of Computation
This book constitutes the refereed proceedings of the 16th Annual Conference on Theory and Applications of Models of Computation, ...
Weiterlesen
Theory of Cryptography
This three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...
Weiterlesen
Theory of Cryptography
This three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...
Weiterlesen
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II
This two-books set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...
Weiterlesen
Towards Interoperable Research Infrastructures for Environmental and Earth Sciences A Reference Model Guided Approach for Common Challenges
This book summarises the latest developments on data management in the EU H2020 ENVRIplus project, which brought together ...
Weiterlesen
